921. Representation Theorems in Computer Science
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Information theory. ; Artificial intelligence. ; Computer logic. ; Data mining. ; Information storage and retrieval systems. ; Theory of Computation. ;

922. Representation theorems in computer science :
Author: Özgür Lütfü Özçep.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Spatial systems.,Computer logic.,Spatial systems.
Classification :
QA76
.
9
.
L63
O93
2019


923. Representations of discrete functions
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Computer-aided design,، Computable functions-- Data processing,، Logic design
Classification :
TK
7874
.
75
.
R47
1996


924. Reversible Computation
Author: \ Jean Krivine , Jean-Bernard Stefani (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Quantum computing,Reversible computing -- Congresses.,Computer logic -- Congresses.,منطق کامپیوتری -- کنگره ها
Classification :
QA
76
.
889
.
R4
2015
E-Book
,


925. Reversible computation :
Author: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
Classification :
QA76
.
9
.
R48


926. Reversible computation :
Author: Robert Glück, Tetsuo Yokoyama (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
Classification :
QA76
.
9
.
L63
R634
2013


927. Rewriting logic and its applications :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ;

928. Rough Sets :
Author: by Zdzisław Pawlak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
Q335
.
B993
1991


929. Rough-fuzzy pattern recognition
Author: Pradipta Maji, Sankar K. Pal
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Fuzzy systems in medicine,Pattern recognition systems,Bioinformatics,Diagnostic imaging -- Data processing,Fuzzy Logic,Pattern Recognition, Automated- methods,Computational Biology- methods,Image Processing, Computer-Assisted- methods
Classification :
R
،
859
.
7
،.
F89
,
M35
،
2012


930. Rules and reasoning :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ;

931. Rules and reasoning :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ;

932. Runtime Verification
Author: edited by Sarfraz Khurshid, Koushik Sen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering

933. Scheduling in Parallel Computing Systems
Author: by Shaharuddin Salleh, Albert Y. Zomaya.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information theory.,Logic, Symbolic and mathematical.

934. Self- timed control of concurrent processes : the design of aperiodic logical circuits in computers and discrete systems
Author: edited by Victor I. Varshavsky ; with contributions by Mikhail A. Kishinevsky ... ]et al. ; translated from the Russian by Alexandre V. Yakovlev[
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer architecture,، Logic design,، Discrete- time systems
Classification :
QA
76
.
9
.
A73A9813
1990


935. Semantics:
Author: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.

936. Sequential logic synthesis
Author: / By Paranav Ashar, Srinivas Devadas, A. Richard Newton
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Logic circuits - Design and construction-Data processing,Logic design - Data processing,Computer-aided design and construction--Data processing
Classification :
TK
7868
.
L6A84
1991


937. Sequential logic synthesis
Author: / Pranav Ashar,Ashar
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic circuits -- Design and construction -- Data processing,Logic design -- Data processing,Computer - aided design,Integrated Circuits -- Very large scale integration -- Design and construction --
Classification :
TK
7868
.
L6A84
1992


938. Sequential logic testing and verification
Author: / by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton,Ghosh
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic circuits -- Testing,Logic design,Computer - aided design
Classification :
TK
7868
.
L6G47
1992


939. Sequentila logic and verilog HDL fundamentals
Author: Joseph Cavanagh
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Verilog )Computer hardware description language(,، Logic design,، Sequential circuits
Classification :
TK
7885
.
7
.
C39S4

